"""
手机号：
^1[3-9][0-9]{9}$
"""
import re
while True:
    phone = input("请输入你的手机号：")
    print(re.match(r"^1[3-9]\d{9}$",phone))